"Roberto Bruni" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Formal Techniques for Distributed Systems - FORTE 2011

Автор: Roberto Bruni, Автор: Juergen Dingel

Размер книги: 3.55 Mb

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Автор: Roberto Bruni, Автор: Karsten Wolf

Размер книги: 4.99 Mb

Trustworthy Global Computing, 2 conf., TGC 2006

Автор: Ugo Montanari, Автор: Donald Sannella, Автор: Roberto Bruni

Категория: CsLn_

Размер книги: 3.47 Mb